Algebras over a field and semantics for context based reasoning

نویسنده

  • Daoud Clarke
چکیده

This chapter introduces context algebras and demonstrates their application to combining logical and vector-based representations of meaning. Other chapters in this volume consider approaches that attempt to reproduce aspects of logical semantics within new frameworks. The approach we present here is different: We show how logical semantics can be embedded within a vector space framework, and use this to combine distributional semantics, in which the meanings of words are represented as vectors, with logical semantics, in which the meaning of a sentence is represented as a logical form. The ideas discussed here are present (at least implicitly) in earlier work, however we have introduced some notions which allow the mathematics to be tidied considerably:

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES

$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...

متن کامل

On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events

Possibility and necessity measures are commonly defined over Boolean algebras. This work consider a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about thes...

متن کامل

On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events

Possibility and necessity measures are commonly defined over Boolean algebras. This work considers a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about the...

متن کامل

On p-semilinear transformations

In this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf F}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf F}$ of positive characteristic $p$. Moreover, we find a one-to-one correspondence between $p$-semiline...

متن کامل

Towards Operational Semantics of Contexts in Functional Languages

We consider operational semantics of contexts (terms with holes) in the setting of lazy functional languages, with the aim of providing a balance between operational and compositional reasoning, and a framework for semantics-based program analysis and manipulation. Introduction In this note we initiate a new direction in the semantics of functional programs. The approach is based on operational...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1111.1673  شماره 

صفحات  -

تاریخ انتشار 2011